1. A course in mathematical logic for mathematicians
پدیدآورنده : Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع : Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
2. A course in mathematical logic for mathematicians
پدیدآورنده : / Yu. I. Manin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
3. An introduction to independence for analysts
پدیدآورنده : Dales, H. G.)Harold G.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
4. An introduction to independence for analysts
پدیدآورنده : Dales, H. G.)Harold G.(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
5. Anima Automata:
پدیدآورنده : Porzak, Simon Lucas
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
6. Bifurcation: Analysis, Algorithms, Applications
پدیدآورنده : edited by T. Küpper, R. Seydel, H. Troger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Science (General).
7. Chaos and Statistical Methods :
پدیدآورنده : edited by Yoshiki Kuramoto.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biochemistry.,Distribution (Probability theory),Physics.
رده :
QA843
.
E358
1984
8. Chemically reacting plumes, gas hydrate dissociation and dendrite solidification
پدیدآورنده : Conroy, Devin Thomas
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
9. Combinatorial Set Theory
پدیدآورنده : \ Lorenz J. Halbeisen
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Combinatorial set theory.,Forcing (Model theory)
رده :
E-Book
,
10. Combinatorial algorithms :
پدیدآورنده : Charles J. Colbourn, Roberto Grossi, Nadia Pisanti (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms, Congresses.,Combinatorial analysis, Congresses.,Algorithms.,Combinatorial analysis.
رده :
QA164
.
I58
2019
11. Combinatorial set theory
پدیدآورنده : Lorenz J. Halbeisen
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Combinatorial set theory,Forcing )Model theory(
رده :
QA
248
.
H22C6
2012
12. Combinatorial set theory
پدیدآورنده : Lorenz J. Halbeisen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial set theory,Forcing (Model theory)
رده :
QA248
.
H25
2012eb
13. Combinatorial set theory
پدیدآورنده : / Lorenz J. Halbeisen
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Combinatorial set theory,Forcing (Model theory)
رده :
E-BOOK
14. Combinatorial set theory: with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
کتابخانه: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H238
C66
15. Combinatorial set theory :with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
16. Combinatorial set theory : with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
کتابخانه: (طهران)
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H25C6
17. Contemporary communication systems /
پدیدآورنده : M F Mesiya.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Telecommunication.,Telecommunication.
رده :
TK5101
.
M4233
2013
18. Descriptive set theory and definable forcing
پدیدآورنده : Zapletal, Jind'rich, 9691-
کتابخانه: (طهران)
موضوع : ، Descriptive set theory,، Forcing )Model theory(,، Continuum hypothesis,، Borel sets
رده :
QA
3
.
A475
no
.
793
19. Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
پدیدآورنده : Miller, Arnold W., 0591-
کتابخانه: (طهران)
موضوع : ، Set theory,، Forcing )Model theory(
رده :
QA
9
.
A1L44
Vol
.
4